monotonic join-semilattice